tools-pygrub-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:01 +0000 (11:47 +0200)
committerIan Campbell <ijc@debian.org>
Tue, 9 Feb 2016 16:41:16 +0000 (16:41 +0000)
commit32626417d71ad6f2d593c9944f0ab61b402652d0
treec53b9c9733fa2c1f85bd2ac23ee309c772a71fe4
parent6e0d39691e251fa0fe59d91f5a5fe31fa07c1cea
tools-pygrub-prefix.diff

Patch-Name: tools-pygrub-prefix.diff

Gbp-Pq: Name tools-pygrub-prefix.diff
tools/pygrub/Makefile
tools/pygrub/setup.py
tools/pygrub/src/pygrub